Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids
نویسنده
چکیده
We study varieties with a term-definable poset structure, po-groupoids. It is known that connected posets have the strict refinement property (SRP). In [7] it is proved that semidegenerate varieties with the SRP have definable factor congruences and if the similarity type is finite, directly indecomposables are axiomatizable by a set of first-order sentences. We obtain such a set for semidegenerate varieties of connected po-groupoids and show its quantifier complexity is bounded in general.
منابع مشابه
Some regular quasivarieties of commutative binary modes
Irregular (quasi)varieties of groupoids are (quasi)varieties that do not contain semilattices. The regularization of a (strongly) irregular variety V of groupoids is the smallest variety containing V and the variety S of semilattices. Its quasiregularization is the smallest quasivariety containing V and S. In an earlier paper the authors described the lattice of quasivarieties of cancellative c...
متن کاملSlim Groupoids
Slim groupoids are groupoids satisfying x(yz) ≈ xz. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such g...
متن کاملSemistrict models of connected 3-types and Tamsamani’s weak 3-groupoids
Homotopy 3-types can be modelled algebraically by Tamsamani’s weak 3-groupoids as well as, in the path connected case, by cat-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using Tamsamani’s model. Both are then related to Gray groupoids.
متن کاملOn Varieties of Left Distributive Left Idempotent Groupoids
We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity x ≈ x decomposes as the direct product of its largest idempotent factor and a ...
متن کاملSemistrict Tamsamani N-groupoids and Connected N-types
Tamsamani’s weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tamsamani’s weak n-groupoids and catn−1-groups as models of connected n-types.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Order
دوره 25 شماره
صفحات -
تاریخ انتشار 2008